#include <stdio.h>

int main()
{
    int* p1 = (int *)10000;
    int* p2 = (int *)10012;
    printf("p1=%d\n", p1);
    printf("p2=%d\n", p2);
    printf("p2-p1=%d\n", p2-p1);
    return 0;
}